Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
281	Do umenta Mathemati a Journal der Deutschen Mathematiker-Vereinigung Band 4, 1999 Andrew Ranicki Singularities, Double Points, Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-16 06:01:14 Combinatorics on words Symbolic dynamics Ergodic theory Subshift of finite type Operator theory Von Neumann algebra Haagerup property Shift space Automorphism BogdanovTakens bifurcation Brunella Grassmannian
282	Faster LLL-type reduction of lattice bases Arnold Neumaier Damien Stehlé Universität Wien, Austria Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2016-05-12 05:35:58 Computational number theory Lattice points Linear algebra Algebra LenstraLenstraLovsz lattice basis reduction algorithm Lattice NC Determinant
283	Submission Type: 2011 SAAP Paper Submission Title: “Privileging Possibility: Constructing an Epistemology of Possibility in W.E.B. Du Bois” Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:18 Feminist theory Postmodern theory Postmodernism Point of view Social constructionism Standpoint theory Epistemic advantage Feminist epistemology W. E. B. Du Bois Darkwater: Voices from Within the Veil Epistemology The Souls of Black Folk
284	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
285	Cellular Automata Reversible over Limit Set? S IAMAK TAATI† Turku Centre for Computer Science, and Department of Mathematics, University of Turku, Finland Reversibility of dynamics is a fundamental feature of nature, Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:20 Combinatorics on words Symbolic dynamics Markov processes Spectral theory Ergodic theory Subshift of finite type Shift space Spectral theory of ordinary differential equations Jordan normal form
286	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
287	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
288	International Mathematical Olympiad Preliminary Selection Contest 2007 — Hong Kong Outline of Solutions Answers: Add to Reading List Source URL: web.hku.hk Language: English - Date: 2013-03-15 02:40:24 Order theory Ordered pair Type theory Multiplication KnuthBendix completion algorithm Permutable prime
289	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid
290	Create a Loop Using Workflow Activities Scenario You’re developing in K2 Studio, and need the workflow to iterate over a list and take some sort of action for each list item. Overview Add to Reading List Source URL: startrule.files.wordpress.com Language: English - Date: 2015-04-23 17:17:17 User interface techniques Scripting languages Type theory Variable Point and click JavaScript Dependent and independent variables Double-click

UPDATE